﻿#region License

// Copyright (C) 2011-2012 Kazunori Sakamoto
// 
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
// 
//     http://www.apache.org/licenses/LICENSE-2.0
// 
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#endregion

using System;
using System.Diagnostics.Contracts;
using Antlr.Runtime;
using Code2Xml.Core.Antlr;

namespace Code2Xml.Core.CodeToXmls {
	[ContractClassFor(typeof(AntlrCodeToXml<>))]
	internal abstract class AntlrCodeToXmlContract<TParser>
			: AntlrCodeToXml<TParser>
			where TParser : Parser, IAntlrParser {
		protected override Func<TParser, XAstParserRuleReturnScope>
			DefaultParseFunc {
			get {
				Contract.Ensures(
						Contract.Result<Func<TParser, XAstParserRuleReturnScope>>() !=
						null);
				throw new NotImplementedException();
			}
		}

		protected override ITokenSource CreateTokenSource(ICharStream stream) {
			Contract.Requires(stream != null);
			Contract.Ensures(Contract.Result<ITokenSource>() != null);
			throw new NotImplementedException();
		}

		protected override TParser CreateParser(ITokenStream tokenStream) {
			Contract.Requires(tokenStream != null);
			Contract.Ensures(Contract.Result<TParser>() != null);
			throw new NotImplementedException();
		}
			}
}